On a Spector ultrapower of the Solovay model
نویسندگان
چکیده
We prove that a Spector–like ultrapower extension N of a countable Solovay model M (where all sets of reals are Lebesgue measurable) is equal to the set of all sets constructible from reals in a generic extension M[α] where α is a random real over M. The proof involves an almost everywhere uniformization theorem in the Solovay model. Research supported by the Netherlands Organization for Scientific Research NWO under grant PGS 22 262 Moscow Transport Engineering Institute, [email protected] University of Amsterdam, [email protected]
منابع مشابه
Gap forcing: Generalizing the Lévy-Solovay theorem
The Levy-Solovay Theorem [LevSol67] limits the kind of large cardinal embeddings that can exist in a small forcing extension. Here I announce a generalization of this theorem to a broad new class of forcing notions. One consequence is that many of the forcing iterations most commonly found in the large cardinal literature create no new weakly compact cardinals, measurable cardinals, strong card...
متن کاملBoolean Ultrapowers, the Bukovský-dehornoy Phenomenon, and Iterated Ultrapowers
We show that while the length ω iterated ultrapower by a normal ultrafilter is a Boolean ultrapower by the Boolean algebra of Př́ıkrý forcing, it is consistent that no iteration of length greater than ω (of the same ultrafilter and its images) is a Boolean ultrapower. For longer iterations, where different ultrafilters are used, this is possible, though, and we give Magidor forcing and a general...
متن کاملNotes on Automorphisms of Ultrapowers of Ii1 Factors
In functional analysis, approximative properties of an object become precise in its ultrapower. We discuss this idea and its consequences for automorphisms of II1 factors. Here are some sample results: (1) an automorphism is approximately inner if and only if its ultrapower is א0-locally inner; (2) the ultrapower of an outer automorphism is always outer; (3) for unital *-homomorphisms from a se...
متن کاملOD elements of countable OD sets in the Solovay model
It is true in the Solovay model that every countable ordinal-definable set of sets of reals contains only ordinal-definable elements.
متن کاملModel Theory of Operator Algebras Iii: Elementary Equivalence and Ii1 Factors
We use continuous model theory to obtain several results concerning isomorphisms and embeddings between II1 factors and their ultrapowers. Among other things, we show that for any II1 factor M, there are continuum many nonisomorphic separable II1 factors that have an ultrapower isomorphic to an ultrapower of M. We also give a poor man’s resolution of the Connes Embedding Problem: there exists a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2006